Programming by Expression Refinement: the KMP Algorithm
نویسندگان
چکیده
The exercise is to calculate a pattern-matching algorithm, and specifically the algorithm originally due to Knuth, Morris, and Pratt [0]. We begin, however, with a smaller problem, one that turns out to be both similar to, and a subproblem of, the larger problem. We prefer to start with this because it will give the reader a chance to become familiar in a simple setting with the style and notation we employ.
منابع مشابه
The Effect of Kaempferol on Autophagy and Nrf-2 Signaling in a Rat Model of Aβ1-42-induced Alzheimer’s Disease
Background: Numerous pieces of evidence support that oxidative stress is a key factor in the pathogenesis of neurodegenerative diseases, like Alzheimer’s Disease (AD). Suppression of oxidative stress is an attractive strategy and flavonoids as potent natural antioxidants are extremely noticeable. Objectives: In this study, the effects of Kaempferol (KMP) were evaluated on passive avoidance me...
متن کاملMolecular Cloning and Expression of the Leishmania infantum KMP-11 Gene
Background: Visceral leishmaniasis (Kala-azar) is one of the most serious tropical diseases, and it can lead to death. The kinetoplastid membrane protein-11 (KMP-11) is highly conserved in all stages of the Leishmania life cycle. Objectives: In the present study, the KMP-11 gene was extracted from Leishmania infantum and then, cloned and expressed in an expression vector.The main objective of t...
متن کاملBringing Order to Special Cases of Klee's Measure Problem
Klee’s Measure Problem (KMP) asks for the volume of the union of n axis-aligned boxes in R. Omitting logarithmic factors, the best algorithm has runtime O∗(nd/2) [Overmars,Yap’91]. There are faster algorithms known for several special cases: Cube-KMP (where all boxes are cubes), Unitcube-KMP (where all boxes are cubes of equal side length), Hypervolume (where all boxes share a vertex), and kGro...
متن کاملKinetoplastid membrane protein-11 is present in promastigotes and amastigotes of Leishmania amazonensis and its surface expression increases during metacyclogenesis.
Kinetoplastid membrane protein-11 (KMP-11), a protein present in all kinetoplastid protozoa, is considered a potential candidate for a leishmaniasis vaccine. A suitable leishmaniasis vaccine candidate molecule must be expressed in amastigotes, the infective stage for mammals. However, the expression of KMP-11 in Leishmania amastigotes has been a subject of controversy. We evaluated the expressi...
متن کاملEfficient validation and construction of Knuth–Morris–Pratt arrays
Knuth-Morris-Pratt (KMP) arrays are known as the ”failure function” of the Knuth-Morris-Pratt string matching algorithm. We present an algorithm to check if an integer array is a KMP array. This gives a method for computing all the distinct KMP arrays.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1990